Formal Specification and Design (Cambridge Univ (1992)

by L M G Feijs, H B M Jonkers
Venue:Press, Tracts in Theor. Comp. Sci