A Tool for Writing and Debugging Algebraic Specifications.

Johannes Henkel, Amer Diwan

Browse the full ICSE paper archive.