Proceedings-Artikel
A Methodology for Equational Reasoning
Dieter Hutter; Jürgen Cleve
In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences 27, Volume III: Information Systems: DSS/Knowledge-based Systems. Los Alamitos, IEEE Computer Society Press, 1994.