Semantics, implementation and pragmatics of Clear, a program specification languageDonald Theodore Sannella · First published 1982Open the Tome