David L. Coleman;Albert L. Baker
-;-
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering