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