TY - BOOK AU - Bjorner Dines AU - Jones C B eds TI - Vienna development method : the metalanguage SN - 3-540-08766-4 U1 - 005.13 PY - 1978/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Programming languages ER -