Data abstraction and the correctness of modular programming
By: Oliver Schoett
Contributors: University of Edinburgh
Published: 1986
Language: eng
Notes: BLDSC reference no.: D73874/87.

Thesis (doctoral)--University of Edinburgh, 1986.