On the Power of Algebraic Specifications.

Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing

Browse the full MFCS paper archive.