Types in compilation third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 ; revised selected papers (Springer, 2001)
Literaturangaben