Formal verification of algorithms for critical systems (1993)

by J M Rushby, F von Henke
Venue:IEEE Trans. Softw. Eng