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