Parametric programming : an illustrative mini encyclopedia - Zlobec, Sanjo (Array, 2000)