1
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based...