Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages Hong Kong, 26-29 June 1991 (World Scientific Publishing Co. Pte Ltd., 1993)
Title from PDF title page (viewed August 8, 2017)