A formal approach to object-oriented software engineering (0)

by M Wirsing, A Knapp
Venue:Theoretical Computer Science