P. Borovansky, C. Kirchner, H. Kirchner "Rewriting as a Unified Specification Tool for Logic and Control : The ELAN Language" - In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97. Worshops in Computing, Amsterdam, September 1997. Springer-Verlag.
(1997) |