Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages, Hong Kong, 26-29 June 1991 by Pong C. Yuen | Menrva Books | MenrvaBooks