1. J. Barwise: Handbook of Math. Logic, Studies in Logic, Vol. 90, North-Holland, Amsterdam 1977
2. Lecture Notes in Comp. Science;CIP System Group,1987
3. J.A. Bergstra, J. Heering, P. Klint: Module algebra. J. ACM 37, 1990, 335–372.
4. R. Burstall, J. Goguen: Putting theories together to make specifications. Proc. 5th Internat. Joint Conf. on Artificial Intelligence, Cambridge, Mass., 1977, 1045–1058.
5. L. Cardelli, G. Longo: A semantic basis for Quest. DEC SRC, Palo Alto, Ca., Rep. 55, 1990.