Algorithms and order proceedings of the NATO Advanced Study Institute held in Ottawa, Canada, May 31-June 133, 1987iedited by Ivan Rival - Rival, Ivan, ed. (Kluwer Academic Publishers Dordrecht, 1989)