@inproceedings(banach2000,
 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(brinkkahlschmidt97,
 author       = {Ch. Brink and W. Kahl and G. Schmidt},
 year         = {1997},
 title        = {Relational Methods in Computer Science},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-3-7091-6510-2},
)
@article(chatterjee2015,
 author       = {K. Chaterjee and Vinayak S. Prabhu},
 year         = {2015},
 title        = {Quantitative Temporal Simulation and Refinement Distancess for Timed Systems},
 journal      = {IEEE Transactions for Automatic Control},
 volume       = {60},
 number       = {9},
 pages        = {2291--2306},
 doi          = {10.1109/TAC.2015.2404612},
)
@inproceedings(deshmukh2015,
 author       = {J. V. Deshmukh and R. Majumdar and V. Prabhu},
 year         = {2015},
 title        = {Quantifying Conformance Using the Skorokhod Metric},
 booktitle    = {Proceedings, CAV: Computer Aided Verification},
 publisher    = {Springer Verlag},
 pages        = {234--250},
 doi          = {10.1007/978-3-319-21668-3\_14},
)
@book(dijkstra76,
 author       = {E.W. Dijkstra},
 year         = {1976},
 title        = {A Discipline of Programming},
 publisher    = {Prentice Hall},
)
@techreport(dromey1983,
 author       = {G. 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},
)
@techreport(ghosal,
 author       = {A. Ghosal and M. Jurdzinski and R. Majumdar and Vinayak Prabhu},
 year         = {2005},
 title        = {Approximate Refinement for Hybrid Systems},
 type         = {Technical Report},
 institution  = {University of California at Berkeley},
)
@book(gries81,
 author       = {D. Gries},
 year         = {1981},
 title        = {The Science of programming},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-5983-1},
)
@book(hehner92,
 author       = {E.C.R. Hehner},
 year         = {1992},
 title        = {A Practical Theory of Programming},
 publisher    = {Prentice Hall},
 doi          = {10.1007/978-1-4419-8596-5},
)
@article(hoare69,
 author       = {C.A.R. Hoare},
 year         = {1969},
 title        = {An axiomatic basis for Computer programming},
 journal      = {Communications of the ACM},
 volume       = {12},
 number       = {10},
 pages        = {576 -- 583},
 doi          = {10.1145/363235.363259},
)
@inproceedings(lahiri2013,
 author       = {S. K. Lahiri and K. L. McMillan and R. Sharma and C. Hawblitzel},
 year         = {2013},
 title        = {Differential Assertion Checking},
 booktitle    = {Proceedings, ESEC/ SIGSOFT FSE},
 pages        = {345--455},
 doi          = {10.1145/2491411.2491452},
)
@inproceedings(logozzo2012,
 author       = {F. Logozzo and T. Ball},
 year         = {2012},
 title        = {Modular and Verified Automatic Program Repair},
 booktitle    = {Proceedings, OOPSLA},
 pages        = {133--146},
 doi          = {10.1145/2384616.2384626},
)
@inproceedings(logozzo2014,
 author       = {F. Logozzo and S. Lahiri and M. Faehndrich and S. Blackshear},
 year         = {2014},
 title        = {Verification Modulo Versions: Towards Usable Verification},
 booktitle    = {Proceedings, PLDI},
 pages        = {32},
 doi          = {10.1145/2594291.2594326},
)
@book(manna74,
 author       = {Z. Manna},
 year         = {1974},
 title        = {A Mathematical Theory of Computation},
 publisher    = {McGraw Hill},
)
@book(mills86,
 author       = {H.D. Mills and V.R. Basili and J.D. Gannon and D.R. Hamlet},
 year         = {1986},
 title        = {Structured Programming: A Mathematical Approach},
 publisher    = {Allyn and Bacon},
 address      = {Boston, Ma},
)