Bart Jacobs Ines Margaria Maddalena Zacchi Filter Models with Polymorphic Types. 143-148 1992 95 Theor. Comput. Sci. 1 db/journals/tcs/tcs95.html#JacobsMZ92