Yngve Lamo

Yngve Lamo and Michal Walicki. Specification of Parameterized Programs -- Persistency Revisited. Nordic Journal of Computing, 8(3):298-323, Fall 2001. Abstract, etc.