related documents TOWARD A GENERAL-THEORY OF COMPUTATION AND SPECIFICATION OVER ABSTRACT-DATA-TYPES Conferences