A Methodology for Equational Reasoning

@inproceedings{pub1558,
    author = {

Hutter, Dieter
 and 

Cleve, Jürgen
},
    editor = {

jr., Jay F. Nunamaker
 and 

jr., Ralph H. Sprague
},
    title = {A Methodology for Equational Reasoning},
    booktitle = {Proceedings Hawaii International Conference on System Sciences: Information Systems: DSS/Knowledge-based Systems. Hawaii International Conference on System Sciences (HICSS), 27th, January 4-7, Maui, Hawaii, United States},
    year = {1994},
    volume = {III},
    publisher = {IEEE Computer Society Press}
}