1. 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.
  2. Ch. Brink, W. Kahl & G. Schmidt (1997): Relational Methods in Computer Science. Springer Verlag, doi:10.1007/978-3-7091-6510-2.
  3. 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.
  4. 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.
  5. E.W. Dijkstra (1976): A Discipline of Programming. Prentice Hall.
  6. G. Dromey (1983): Program Development by Inductive Stepwise Refinement. Technical Report Working Paper 83-11. University of Wollongong, Australia, doi:10.1002/spe.4380150102.
  7. A. Ghosal, M. Jurdzinski, R. Majumdar & Vinayak Prabhu (2005): Approximate Refinement for Hybrid Systems. Technical Report. University of California at Berkeley.
  8. D. Gries (1981): The Science of programming. Springer Verlag, doi:10.1007/978-1-4612-5983-1.
  9. E.C.R. Hehner (1992): A Practical Theory of Programming. Prentice Hall, doi:10.1007/978-1-4419-8596-5.
  10. 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.
  11. 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.
  12. F. Logozzo & T. Ball (2012): Modular and Verified Automatic Program Repair. In: Proceedings, OOPSLA, pp. 133–146, doi:10.1145/2384616.2384626.
  13. 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.
  14. Z. Manna (1974): A Mathematical Theory of Computation. McGraw Hill.
  15. H.D. Mills, V.R. Basili, J.D. Gannon & D.R. Hamlet (1986): Structured Programming: A Mathematical Approach. Allyn and Bacon, Boston, Ma.

Comments and questions to:
For website issues: