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