Papers by Akinori Ito analyzing the VMs: (perhaps previously seen?) http://www.geocities.co.jp/Technopolis/7220/voy/ Regards, Dana Scott ______________________________________________________________________ To unsubscribe, send mail to majordomo@xxxxxxxxxxx with a body saying: unsubscribe vms-list