%Aigaion2 BibTeX export from Peter D Mosses
%Friday 25 May 2012 02:20:25 AM
@INCOLLECTION{Mosses2009PLD,
author = {Mosses, Peter D.},
title = {Programming Language Description Languages: From {Christopher Strachey} to Semantics Online},
chapter = {8},
pages = {249-273},
doi = {10.1007/978-1-84882-736-3_8},
crossref = {BCS-FACS2009}
}
crossreferenced publications:
@BOOK{BCS-FACS2009,
title = {Formal Methods: State of the Art and New Directions},
booktitle = {Formal Methods: State of the Art and New Directions},
year = {2009},
publisher = {Springer},
isbn = {978-1-84882-735-6},
doi = {10.1007/978-1-84882-736-3},
X-editor = {Paul P. Boca and Jonathan P. Bowen and Jawedd I. Siddiqi}
}