Specification-Based Computing Environments. - Robert Balzer; David Dyer; M. Fehling; S. Saunders (VLDB, 1982)