Author: Conference on Ordered Structures and Algebra of Computer Languages (1991 Hong Kong)