Charles Lins
-
Modula-2 an alternative to C?
ACM SIGPLAN Notices
On the specification of software components
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design