Formal specification : techniques and applications - Nissanke, Nimal (Springer, 1999)