Available by request from miller@cs.toronto.edu