Structured Algebraic Specifications: A Kernel Language

Martin Wirsing. Structured Algebraic Specifications: A Kernel Language. Theoretical Computer Science, 42:123-249, 1986.

Abstract

Abstract is missing.