Structured Algebraic Specifications: A Kernel Language

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

No reviews for this publication, yet.