A natural-deduction-like calculus for structured specifications. - Hannes Peterreins (1996)

Proof Normalization of Structured Algebraic Specifications Is Convergent. - Martin Wirsing; John N. Crossley; Hannes Peterreins (WADT, 1998)