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