No. 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence

Published: 1995-06-10