*Homepage:* http://qtj.dhs.org/~quinn/index.html * JournalOfPatternMatching