A Deductive and Typed Object-Oriented Language

René Bal, Herman Balsters. A Deductive and Typed Object-Oriented Language. In DOOD. pages 340-359, 1993.

Abstract

Abstract is missing.