Rolf Hennicker. A Semi-Algorithm for Algebraic Implementation Proofs. Theoretical Computer Science, 104(1):53-87, 1992.
@article{Hennicker92, title = {A Semi-Algorithm for Algebraic Implementation Proofs}, author = {Rolf Hennicker}, year = {1992}, tags = { algebra}, researchr = {https://researchr.org/publication/Hennicker92}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {104}, number = {1}, pages = {53-87}, }