Toward a General Theory of Computation and Specification over Abstract Data Types.

John V. Tucker, Jeffery I. Zucker

Browse the full ICCI paper archive.