Silvio Romero de Lemos Meira
-
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development