Partial correctness semantics for cp(.l.,I, t (1985)

by Vijay A Saraswat
Venue:In Proceedingn of the FSTTCS Conference, number 206