Author: NATO Advanced Study Institute on Algorithms and Order (1987 Ottawa, Ont.)