Observational purity and encapsulation (2007)

by D A Naumann
Venue:Theor. Comput. Sci