Applications of category theory to the area of algebraic specification in computer science
scientific article; zbMATH DE number 1138662