Diagram design a constructive theory - Kamps, Thomas 1970- (Springer, 1999)