Formal specification and design - Feijs, L. M. G. 1954- (Cambridge Tracts in Theoretical Computer Science ;, 1992)