Proving the correctness of algebraic implementations by the ISAR system (1993)

by B Bauer, R Hennicker
Venue:In DISCO'93, volume 722 of Lecture Notes in Computer Science