The algorithmic specification method of abstract data types: an overview.

Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)