Author:
Bednarczyk Marek A.,Borzyszkowski Andrzej M.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. J. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. An initial algebra semantics and continuous algebras. Journal of the ACM, 24(1):68–95, January 1977.
2. LNCS, vol. 428;Marek A. A. Bednarczyk,1990
3. Dines Bjørner and Cliff B. Jones. The Vienna Development Method: The Meta-Language, volume 61 of LNCS. Springer-Verlag, 1978.
4. Dines Bjørner and Cliff B. Jones. Formal Specification of Software Development. Prentice Hall, Englewood Cliffs, 1982.
5. Andrzej J. Blikle. MetaSoft Primer. Towards a Metalanguage of Applied Denotational Semantics, volume 288 of LNCS. Springer-Verlag, 1987.