1. Baldamus, M.: Constraints and their Normal Forms in the Framework of Specification Logics (in German), Studienarbeit, TU Berlin (1990)
2. Bcnabou, J.: Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic 50 (1985), 10–37
3. Burstall, R.M.; Goguen, J.A.; Tarlecki, A.: Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories. Technical Report LFCS Report Series No. ECS-LFCS-89-90, University of Edinburgh, 1989
4. Blum, E.K.; Parisi-Presicce, F.: The semantics of shared submodules specifications. Proc. TAPSOFT vol 1, 1985, Springer LNCS 185, 359–373
5. Diaconescu, R.; Goguen, J.A.; Stefaneas, P.: Logical support for modularization, this volume.