Software specification techniques - Gehani, Narain (International computer science series, 1985)