Mendler, Michael

• DAIMI Report Series No. 328 (1990): PB-328 Compositional Characterization of Observable Program Properties - Articles
  Compositional Characterization of Observable Program Properties
  Abstract  PDF