Assertional Data Reification Proofs: Survey and Perspective [chapter]

J. Coenen, W.-P. de Roever, J. Zwiers
1991 Workshops in Computing  
doi:10.1007/978-1-4471-3756-6_5 fatcat:rveeh2x5gvfd5f4tdoanx4y4ki