David Lorge Parnas
-
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods