Harold Simmons The Glueing Construction and Lax Limits. 393-431 1994 4 Mathematical Structures in Computer Science 4 db/journals/mscs/mscs4.html#Simmons94