Frederik Wiedijk

• Persistence in Algebraic Specifications