[DB01] |
Refinement in Z and in Object-Z : Foundations and Advanced Applications,
J. Derrick and E. Boiten, FACIT, Springer, 2001 |
[Sch05] |
ASM Refinement and Generalizations of Forward Simulation in Data Refinement: A Comparison,
G. Schellhorn, Journal of Theoretical Computer Science, vol. 336, no. 2-3, Elsevier, 403 - 435, 2005 |
[DBS07] |
Relational Concurrent Refinement, Part II: Internal Operations and Outputs,
J. Derrick, E. Boiten, G. Schellhorn , (under consideration for Formal Aspects of Computing) |