\bib{1997/heydon}
\yr 1997
\by Allan Heydon
\by Jim Horning
\by Roy Levin
\by Timothy Mann
\by Yuan Yu
\paper The Vesta-2 software description language
\paperinfo Technical Note 1997--005c
\publ Compaq Systems Research Center
\url http://gatekeeper.research.compaq.com/pub/DEC/SRC/technical-notes/SRC-1997-005c.html
\endref
