Software specification techniques - Gehani, Narain (Addison-Wesley, 1985)
Bibliografie