Second Generation Object-Oriented Development. - Sergio E. R. de Carvalho; Sylvia de O. Cruz; Toacy Cavalcante de Oliveira (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)