Chenho Kung
-
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering