Standard ML: Report ECS-LFCS-86-2