@book(abrial,
 author       = {J.R. Abria},
 year         = {1996},
 title        = {The B Book: Assigning Programs to Meanings},
 edition      = {second},
 series       = {Series},
 volume       = {443},
 publisher    = {Cambridge University Press},
 address      = {Address},
 doi          = {10.4204/EPTCS},
 url          = {http://arxiv.org/abs/1009.3306},
 note         = {Note},
)
@book(back,
 author       = {Ralph{-}Johan Back and Joakim von Wright},
 year         = {1998},
 title        = {Refinement Calculus - {A} Systematic Introduction},
 series       = {Graduate Texts in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-1674-2},
)
@inproceedings(banach,
 author       = {R. Banach and M. Poppleton},
 year         = {2000},
 title        = {Retrenchment, Refinement and Simulation},
 booktitle    = {ZB: Formal Specifications and Development in Z and B},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {304--323},
 doi          = {10.1007/3-540-44525-0\_18},
)
@book(brink,
 author       = {Chris Brink and Wolfram Kahl and Gunther Schmidt},
 year         = {1997},
 title        = {Relational Methods in Computer Science},
 series       = {Advances in Computer Science},
 publisher    = {Springer Verlag},
 address      = {Berlin, Germany},
 doi          = {10.1007/978-3-7091-6510-2},
)
@inproceedings(ramicsdesh,
 author       = {J. Desharnais and N. Diallo and W. Ghardallou and M. F. Frias and A. Jaoua and A. Mili},
 year         = {2015},
 title        = {Relational Mathematics for Relative Correctness},
 booktitle    = {RAMICS, 2015},
 series       = {LNCS},
 volume       = {9348},
 publisher    = {Springer Verlag},
 address      = {Braga, Portugal},
 pages        = {191--208},
)
@article(desharnais,
 author       = {Jules Desharnais and Nafi Diallo and Wided Ghardallou and Ali Mili},
 year         = {2017},
 title        = {Projecting Programs on Specifications: Definitions and Implications},
 journal      = {Science of Computer Programming},
 doi          = {10.1016/j.scico.2016.11.006},
)
@inproceedings(oslo,
 author       = {Nafi Diallo and Wided Ghardallou and Jules Desharnais and Ali Mili},
 year         = {2015},
 title        = {Program Derivation by Correctness Enhacements},
 editor       = {John Derrick and Eerke A. Boiten and Steve Reeves},
 booktitle    = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015.},
 series       = {{EPTCS}},
 volume       = {209},
 pages        = {57--70},
 doi          = {10.4204/EPTCS.209.5},
)
@techreport(dromey,
 author       = {Geoffrey Dromey},
 year         = {1983},
 title        = {Program Development by Inductive Stepwise Refinement},
 type         = {Technical Report},
 number       = {Working Paper 83-11},
 institution  = {University of Wollongong, Australia},
 doi          = {10.1002/spe.4380150102},
)
@inproceedings(gonzalezsanchez,
 author       = {Gonz{\'{a}}lez{-}Sanchez, Alberto and Rui Abreu and Hans{-}Gerhard Gross and Arjan J. C. van Gemund},
 year         = {2011},
 title        = {Prioritizing tests for fault localization through ambiguity group reduction},
 editor       = {Perry Alexander and Corina S. Pasareanu and John G. Hosking},
 booktitle    = {26th {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
 publisher    = {{IEEE} Computer Society},
 pages        = {83--92},
 doi          = {10.1109/ASE.2011.6100153},
)
@book(gries,
 author       = {David Gries},
 year         = {1981},
 title        = {The Science of Programming},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-5983-1},
)
@inproceedings(hehner,
 author       = {Eric C. R. Hehner and Andrew M. Gravell},
 year         = {1999},
 title        = {Refinement Semantics and Loop Rules},
 editor       = {E.D.I. Thor and E. di Thor},
 booktitle    = {Formal Methods 1999},
 series       = {Lecture Notes in Computer Science},
 volume       = {443},
 organization = {Organization},
 publisher    = {Springer Verlag},
 address      = {Address},
 pages        = {1--999},
 doi          = {10.4204/EPTCS},
 url          = {http://arxiv.org/abs/1009.3306},
 note         = {Note},
)
@book(hehnerec,
 author       = {Eric C.R. Hehner},
 year         = {1992},
 title        = {A Practical Theory of Programming},
 publisher    = {Prentice Hall},
 doi          = {10.1007/978-1-4419-8596-5},
)
@incollection(hoare,
 author       = {C.A.R. Hoare},
 year         = {1997},
 title        = {Unified Theories of Programming},
 editor       = {E.D.I. Thor and E. di Thor},
 booktitle    = {Mathematical Methods in Program Development},
 edition      = {second},
 type         = {type},
 chapter      = {II},
 series       = {Series},
 volume       = {443},
 publisher    = {Springer Verlag},
 address      = {Address},
 pages        = {1--999},
 doi          = {10.4204/EPTCS},
 url          = {http://arxiv.org/abs/1009.3306},
 note         = {Note},
)
@book(manna,
 author       = {Zohar Manna},
 year         = {1974},
 title        = {A Mathematical Theory of Computation},
 publisher    = {McGraw-Hill},
)
@article(meyer,
 author       = {Bertrand Meyer},
 year         = {1985},
 title        = {On Formalism in Specification},
 journal      = {IEEE Software},
 volume       = {2},
 number       = {1},
 pages        = {6--27},
 doi          = {10.1109/MS.1985.229776},
)
@inproceedings(ramics,
 author       = {A. Mili and M. Frias and A. Jaoua},
 year         = {2014},
 title        = {On Faults and Faulty Programs},
 editor       = {P. Hoefner and P. Jipsen and W. Kahl and M. E. Mueller},
 booktitle    = {Proceedings, RAMICS 2014},
 series       = {LNCS},
 volume       = {8428},
 pages        = {191--207},
)
@article(mili,
 author       = {A. Mili and X.Y. Wang and Y. Qing},
 year         = {1986},
 title        = {A Relational Specification Methodology},
 journal      = {Software- Practice and Experience},
 pages        = {1030--1030},
)
@book(morgan,
 author       = {Carroll C. Morgan},
 year         = {1998},
 title        = {Programming from Specifications, Second Edition},
 series       = {International Series in Computer Sciences},
 publisher    = {Prentice Hall},
 address      = {London, UK},
)
@article(miliscp,
 author       = {Olfa Mraihi and Asma Louhichi and Lamia Labed Jilani and Jules Desharnais and Ali Mili},
 year         = {2013},
 title        = {Invariant Assertions, Invariant Relations, and Invariant Functions},
 journal      = {Science of Computer Programming},
 volume       = {78},
 number       = {9},
 pages        = {1212--1239},
 doi          = {10.1016/j.scico.2012.05.006},
)
@inproceedings(perelman,
 author       = {Daniel Perelman and Sumit Gulwani and Dan Grossman and Peter Provost},
 year         = {2014},
 title        = {Test Driven Synthesis},
 booktitle    = {Proceedings, 35th ACM SIGPLAN Conference, PLDI},
 volume       = {49},
 address      = {Edinburgh, UK},
 pages        = {408--418},
)
@techreport(reinfelds,
 author       = {Juris Reinfelds},
 year         = {1986},
 title        = {A Brief Introduction to the Derivation of Programs},
 type         = {Technical Report},
 institution  = {University of Wollongong},
 address      = {Wollongong, NSW Australia},
)