Formal ReSpecT

@article{respect-entcs48,
   author = {Omicini, Andrea and Denti, Enrico},
   booktitle = {Declarative Programming - Selected Papers from AGP 2000},
   doi = {10.1016/S1571-0661(04)00156-2},
   editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
   iris = {11585/903186},
   isbn = {0-444-50916-X},
   issn = {1571-0661},
   journal = {Electronic Notes in Theoretical Computer Science},
   month = jun,
   note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
   pages = {179--196},
   scopus = {2-s2.0-0001384925},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {Formal {{\sf ReSpecT}}},
   url = {http://www.sciencedirect.com/science/article/pii/S1571066104001562},
   volume = 48,
   year = 2001
}