@article {IOPORT.05749150,
    author       = {Paolini, Luca and Piccolo, Mauro and Della Rocca, Simona Ronchi},
    title        = {Logical semantics for stability.},
    year         = {2009},
    journal      = {Electronic Notes in Theoretical Computer Science},
    volume       = {249},
    pages        = {429-449},
    publisher    = {Elsevier, Amsterdam},
    doi          = {10.1016/j.entcs.2009.07.101},
    identifier   = {05749150},
}