Abstract Types and the Dot Notation.

Luca CardelliXavier Leroy
Published in: Programming Concepts and Methods (1990)