Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages Hong Kong, 26 - 29 June, 1991 (World Scientific, 1993)