Describing, Structuring and Implementing Objects." Foundations of Object-Oriented Languages 489 . LNCS, edited by J.W. deBakker andW.P. deRoever (1990)

by J Fiadeiro, T Maibaum