L. Aceto (1992):
Action Refinement in Process Algebras.
CUP.
R.J.R. Back (1993):
Refinement of Parallel and Reactive Programs.
In: M. Broy: Program Design Calculi,
pp. 73–92.
E.A. Boiten & J. Derrick (2009):
Modelling divergence in Relational Concurrent Refinement.
In: M. Leuschel & H. Wehrheim: IFM 2009: Integrated Formal Methods,
LNCS 5423.
Springer Verlag,
pp. 183–199,
doi:10.1007/978-3-642-00255-7-13.
E.A. Boiten & J. Derrick (2010):
Incompleteness of Relational Simulations in the Blocking Paradigm.
Science of Computer Programming 75(12),
pp. 1262–1269,
doi:10.1016/j.scico.2010.07.003.
E.A. Boiten, J. Derrick & G. Schellhorn (2009):
Relational Concurrent Refinement Part II: Internal Operations and Outputs.
Formal Aspects of Computing 21(1-2),
pp. 65–102,
doi:10.1007/s00165-007-0066-z.
T. Bolognesi & E. Brinksma (1988):
Introduction to the ISO Specification Language LOTOS.
Computer Networks and ISDN Systems 14(1),
pp. 25–59,
doi:10.1016/0169-7552(87)90085-7.
M. Butler (1997):
An approach to the design of distributed systems with B AMN.
In: J.P. Bowen, M G. Hinchey & D. Till: ZUM'97: The Z Formal Specification Notation,
Lecture Notes in Computer Science 1212.
Springer-Verlag,
pp. 223–241,
doi:10.1007/BFb0027291.
M. Butler (2009):
Decomposition Structures for Event-B.
In: M. Leuschel & H. Wehrheim: IFM,
Lecture Notes in Computer Science 5423.
Springer,
pp. 20–38,
doi:10.1007/978-3-642-00255-7-2.
J. Derrick & E.A. Boiten (1999):
Non-atomic refinement in Z.
In: J.M. Wing, J.C P. Woodcock & J. Davies: FM'99,
Lecture Notes in Computer Science 1708.
Springer-Verlag,
Berlin,
pp. 1477–1496,
doi:10.1007/3-540-48118-4\voidb@x width0.4em28.
J. Derrick & E.A. Boiten (2001):
Refinement in Z and Object-Z: Foundations and Advanced Applications.
FACIT.
Springer Verlag,
doi:10.1007/978-1-4471-0257-1.
J. Derrick, E.A. Boiten, H. Bowman & M.W.A. Steen (1998):
Specifying and Refining Internal Operations in Z.
Formal Aspects of Computing 10,
pp. 125–159,
doi:10.1007/s001650050007.
J. Derrick & H. Wehrheim (2003):
Using coupled simulations in non-atomic refinement.
In: D. Bert, J. Bowen, S. King & M. Walden: ZB 2003: Formal Specification and Development in Z and B,
Lecture Notes in Computer Science 2651.
Springer,
pp. 127–147,
doi:10.1007/3-540-44880-2-10.
C.A R. Hoare (1985):
Communicating Sequential Processes.
Prentice Hall.
C.A.R. Hoare & He Jifeng (1998):
Unifying Theories of Programming.
Prentice Hall.
C.C. Morgan (1994):
Programming from Specifications,
2nd edition,
International Series in Computer Science.
Prentice Hall.
S. Reeves & D. Streader (2008):
Data refinement and singleton failures refinement are not equivalent.
Formal Aspects of Computing 20(3),
pp. 295–301,
doi:10.1007/s00165-008-0076-5.
G. Schellhorn (2005):
ASM Refinement and Generalizations of Forward Simulation in Data Refinement: A Comparison.
Theoretical Computer Science 336(2-3),
pp. 403–436,
doi:10.1016/j.tcs.2004.11.013.
J.C.P. Woodcock & J. Davies (1996):
Using Z: Specification, Refinement, and Proof.
Prentice Hall.