Author:
Derrick John,Boiten Eerke A.
Reference10 articles.
1. Lecture Notes in Computer Science,1990
2. de Nicola, R. (1987). Extensional equivalences for transition systems. Acta Informatica, 24(2), 211–237.
3. de Roever, W.-P., & Engelhardt, K. (1998). Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge: Cambridge University Press.
4. Gardiner, P. H. B., & Morgan, C. C. (1993). A single complete rule for data refinement. Formal Aspects of Computing, 5, 367–382.
5. McIver, A., & Morgan, C. C. (2004). Abstraction, Refinement and Proof for Probabilistic Systems. Berlin: Springer.