Specification-Based Computing Environments.

Robert Balzer, David Dyer, M. Fehling, S. Saunders

Browse the full VLDB paper archive.