1. Anlauf, M., Pavlovic, D.: On Specification Carrying Software, its Refinement and Composition. In: Ehrig, H., Kramer, B.J., Ertas, A. (eds.) Proceedings of IDPT 2002. Society for Design and Process Science (2002)
2. Boiten, E.A., Bujorianu, M.C.: Exploring UML Refinement through Unification. In: Workshop on Critical Systems Development with UML, UML 2003 Conference, San Francisco, California, USA (2003)
3. Boiten, E.A., Bowman, H., Derrick, J., Linington, P.F., Steen, M.W.A.: Viewpoint Consistency in ODP. Computer Networks 34(3), 503–537 (2000)
4. Boiten, E.A., Derrick, J., Bowman, H., Steen, M.W.A.: Constructive consistency checking for partial specification in Z. Science of Computer Programming 35(1), 29–75 (1999)
5. Borceux, F.: Handbook of Categorical Algebra 1. Basic Category Theory. Cambridge University Press, Cambridge (1994)