A logic covering undefinedness in program proofs (1984)

by H Barringer, J H Cheng, C B Jones
Venue:Acta Informatica