Publisher
Springer International Publishing
Reference22 articles.
1. Bird, R.S., de Moor, O.: Algebra of Programming. International Series in Computer Science, vol. 100. Prentice Hall, Upper Saddle River (1997)
2. de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, Cambridge (1998)
3. Lecture Notes in Computer Science;H Ehrig,1991
4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006). doi:
10.1007/3-540-31188-2
5. Freyd, P.J., Scedrov, A.: Categories, Allegories, vol. 39. North-Holland Mathematical Library, Amsterdam (1990)