Observational purity and encapsulation, (2007)

by D A Naumann
Venue:Theoret. Comput. Sci.,