Roel Bloo Fairouz Kamareddine Twan Laan Rob Nederpelt Parameters in Pure Type Systems. 371-385 2002 conf/latin/2002 LATIN http://link.springer.de/link/service/series/0558/bibs/2286/22860371.htm db/conf/latin/latin2002.html#BlooKLN02