Vienna development method : the metalanguage - Bjorner Dines; Jones C B eds (Berlin Springer Verlag, 1978)
Keywords: Computer science; Programming languages