An introduction to discrete mathematics and formal system specification

Objects concepts and bibliography

ACM SIGPLAN Notices

Arrays and pointers considered harmful

ACM SIGPLAN Notices

Deriving programs using generic algorithms

IBM Systems Journal

Formal Methods: The Problem Is Education

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security

Composite Propositions: Toward Support for Formal Specification of System Properties

SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)

An exercise in modelling

Information and Software Technology