Structured Algebraic Specifications: A Kernel Language

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

Authors

Martin Wirsing

This author has not been identified. Look up 'Martin Wirsing' in Google