An Experiment in Practical Semantics. - Maurice Naftalin (ESOP, 1986)

Verifiable program construction in a user-friendly style. - Maurice Naftalin (COMPSAC, 1988)

Correctness for Beginners. - Maurice Naftalin (VDM Europe, 1988)

Formal Derivation Made Easy. - Maurice Naftalin (PPIG, 1991)

A Model of the Refinement Process. - Maurice Naftalin (Refine, 1992)

Informal Strategies in Design by Refinement. - Maurice Naftalin (FME, 1994)

Java generics and collections. - Maurice Naftalin; Philip Wadler (O'Reilly, 2006)