Formal Methods and Open Systems. - Andrew M. Gravell; Chris H. Pratten (Softw. Concepts Tools, 1995)

Refinement in a language with procedures and modules. - Chris H. Pratten (1996)