1. Boiten EA, Derrick J (2010) Incompleteness of relational simulations in the blocking paradigm. Sci Comput Program 75(12):1262–1269
2. He Jifeng, Hoare CAR, Sanders JW (1986) Data refinement refined. In: Robinet B, Wilhelm R (eds) Proceedings of the ESOP 86. Lecture notes in computer science, vol 213. Springer, Berlin, pp 187–196
3. Woodcock JCP, Davies J (1996) Using Z: specification, refinement, and proof. Prentice Hall, Upper Saddle River
4. Derrick J, Boiten EA (2014) Refinement in Z and object-Z, 2nd edn. Springer, Berlin
5. He Jifeng, Hoare CAR (1990) Prespecification and data refinement. Data refinement in a categorical setting, Technical monograph, number PRG-90. Oxford University Computing Laboratory, Oxford