Proving the correctness of algebraically specified software: Modularity and observability issues (1991)

by G Bernot, M Bidoit
Venue:In AMAST'91, Lecture Notes in Computer Science