GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).

Manfred Broy, Walter Dosch, Bernhard Mller, Martin Wirsing

Browse the full GI paper archive.