Software specification techniques - Gehani, Narain; McGettrick, Andrew (International Computer Science Series / Addison-Wesley Publishing Company, Inc.., 1986)