Program Verification in Synthetic Domain Theory (1995)

by B Reus