Title: Persistence in Algebraic Specifications