1. M. Bidoit, D. Sannella, A. Tarlecki, Architectural specifications in CASL, Proc. Seventh Internat. Conf. on Algebraic Methodology and Software Technology AMAST’98, Manaus, Brasil, Lecture Notes in Computer Science, Vol. 1548, Springer, Berlin, 1999, pp. 347–357.
2. Object-Oriented Analysis and Design;Booch,1994
3. R.M. Burstall, J.A. Goguen, Putting theories together to make specifications, Proc. Fifth Internat. Joint Conf. on Artificial Intelligence, Cambridge, MA, 1977, pp. 1045–1058.
4. R.M. Burstall, J.A. Goguen, The semantics of Clear, a specification language. Abstract software specifications, Lecture Notes in Computer Science, Vol. 86, Springer, Berlin, 1979.
5. Model Theory;Chang,1973