Kevin Lano
-
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement