Rajiv Mirani Paul Hudak First-Class Schedules and Virtual Maps. 78-85 1995 FPCA db/conf/fpca/fpca95.html#MiraniH95