Mark Tullsen First Class Patterns. 1-15 2000 conf/padl/2000 PADL http://link.springer.de/link/service/series/0558/bibs/1753/17530001.htm db/conf/padl/padl2000.html#Tullsen00