Data Abstraction and the Correctness of Modular Programming (1987)

by O Schoett