1. The B-book: assigning programs to meanings;Abrial,1996
2. Object-Z: a specification language advocated for the description of standards;Duke;Computer Standards and Interfaces,1995
3. K. Engelhardt, W-P. de Roever, Model-Oriented Data Refinement, in preparation.
4. Data refinement refined;Jifeng,1986
5. He Jifeng, C.A.R. Hoare, Pre-specification and data refinement, Data Refinement in a Categorical Setting, Technical Monograph, number PRG-90, Oxford University Computing Laboratory, November 1990.