equal
deleted
inserted
replaced
163 year = {2008} |
163 year = {2008} |
164 } |
164 } |
165 @InCollection{pl:formal-lang-hist, |
165 @InCollection{pl:formal-lang-hist, |
166 author = {Lucas, Peter}, |
166 author = {Lucas, Peter}, |
167 title = {On the Formalization of Programming Languages: Early History and Main Approaches}, |
167 title = {On the Formalization of Programming Languages: Early History and Main Approaches}, |
168 booktitle = {The Vienna Development Method: The Meta-Language}, |
168 booktitle = {The Vienna Development MethodC: The Meta-Language}, |
169 publisher = {Springer}, |
169 publisher = {Springer}, |
170 year = {1978}, |
170 year = {1978}, |
171 editor = {D. Bj{\o}rner and C. B. Jones}, |
171 editor = {D. Bj{\o}rner and C. B. Jones}, |
172 volume = {16}, |
172 volume = {16}, |
173 series = {LNCS}, |
173 series = {LNCS}, |