TY - BOOK AU - Gunter, Carl A. Ed. AU - Mitchell, John C. Ed. TI - Theoretical Aspects of Object - Oriented Programming : Types, Semantics, and Language Design SN - 0 262 07155 X CY - USA KW - Theoretical Aspects KW - Object-0riented Programming ER -