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