On the usability of logics which handle partial functions (1991)

by J H Cheng, C B Jones
Venue:Third Refinement Workshop