Conference on Ordered Structures and Algebra of Computer Languages (1991 Hong Kong) | lit.salon