Specification-Based Computing Environments for Information Management. - Balzer, Robert; Goldman, Neil M.; Neches, Robert (1984)