Observational purity and encapsulation (0)

by D A Naumann
Venue:In FASE, volume 3442 of LNCS