@misc{1997-heydon ,note={URL: {\tt http://gatekeeper.research.compaq.com/pub/DEC/SRC/technical-notes/SRC-1997-005c.html}. Note: Technical Note 1997--005c} ,author={Allan Heydon and Jim Horning and Roy Levin and Timothy Mann and Yuan Yu} ,title={{The Vesta-2 software description language}} ,publisher={Compaq Systems Research Center} ,year={1997} }