Author: Workshop-Meeting on Categorical and Algebraic Methods in Computer Science and System Theory Herdecke, Ger. 1978.