Jean Goubault Generalized Boxings, Congruences and Partial Inlining. 147-161 1994 SAS db/conf/sas/sas94.html#Goubault94