A Method Using a Set-Theoretical Formalism to Describe the Semantics of Programming Languages.

Walter Issel

Browse the full MFCS paper archive.