Software specification techniques - Gehani, Narain (Addison-Wesley Publishing Company, Inc, 1986)