Kalinichenko L.A. Compositional Specification Calculus for Information Systems Development Advances in Databases and Information Systems: Proc. of the Third East European Conference. LNCS 1691. -- Berlin-Heidelberg: Springer-Verlag, 1999. -- P. 317--331.
