@book{1993-levin ,note={URL: {\tt ftp://gatekeeper.research.compaq.com/pub/DEC/SRC/research-reports/SRC-105.pdf}. Note: Technical Report 105} ,title={{The Vesta approach to precise configuration of large software systems}} ,booktitle={{The Vesta approach to precise configuration of large software systems}} ,author={Roy Levin and Paul R. McJones} ,publisher={DEC Systems Research Center} ,address={Palo Alto, California} ,year={1993} }