On the adequacy of per models (1993)

by R Amadio
Venue:Proc. Mathematical Foundations of Computer Science, volume 711 of LNCS