Inline expansion of SETL procedures - Hyun, Kio; Doberkat, Ernst-Erich 1948- (Hochschule, 1985)