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.
Ch. Brink, W. Kahl & G. Schmidt (1997):
Relational Methods in Computer Science.
Springer Verlag,
doi:10.1007/978-3-7091-6510-2.
K. Chaterjee & Vinayak S. Prabhu (2015):
Quantitative Temporal Simulation and Refinement Distancess for Timed Systems.
IEEE Transactions for Automatic Control 60(9),
pp. 2291–2306,
doi:10.1109/TAC.2015.2404612.
J. V. Deshmukh, R. Majumdar & V. Prabhu (2015):
Quantifying Conformance Using the Skorokhod Metric.
In: Proceedings, CAV: Computer Aided Verification.
Springer Verlag,
pp. 234–250,
doi:10.1007/978-3-319-21668-3_14.
E.W. Dijkstra (1976):
A Discipline of Programming.
Prentice Hall.
G. Dromey (1983):
Program Development by Inductive Stepwise Refinement.
Technical Report Working Paper 83-11.
University of Wollongong, Australia,
doi:10.1002/spe.4380150102.
A. Ghosal, M. Jurdzinski, R. Majumdar & Vinayak Prabhu (2005):
Approximate Refinement for Hybrid Systems.
Technical Report.
University of California at Berkeley.
E.C.R. Hehner (1992):
A Practical Theory of Programming.
Prentice Hall,
doi:10.1007/978-1-4419-8596-5.
C.A.R. Hoare (1969):
An axiomatic basis for Computer programming.
Communications of the ACM 12(10),
pp. 576 – 583,
doi:10.1145/363235.363259.
S. K. Lahiri, K. L. McMillan, R. Sharma & C. Hawblitzel (2013):
Differential Assertion Checking.
In: Proceedings, ESEC/ SIGSOFT FSE,
pp. 345–455,
doi:10.1145/2491411.2491452.
F. Logozzo & T. Ball (2012):
Modular and Verified Automatic Program Repair.
In: Proceedings, OOPSLA,
pp. 133–146,
doi:10.1145/2384616.2384626.
F. Logozzo, S. Lahiri, M. Faehndrich & S. Blackshear (2014):
Verification Modulo Versions: Towards Usable Verification.
In: Proceedings, PLDI,
pp. 32,
doi:10.1145/2594291.2594326.
Z. Manna (1974):
A Mathematical Theory of Computation.
McGraw Hill.
H.D. Mills, V.R. Basili, J.D. Gannon & D.R. Hamlet (1986):
Structured Programming: A Mathematical Approach.
Allyn and Bacon,
Boston, Ma.