TY  - CHAP
ID  - Mosses2009PLD
T1  - Programming Language Description Languages: From {Christopher Strachey} to Semantics Online
A1  - Mosses, Peter D.
TI  - Formal Methods: State of the Art and New Directions
Y1  - 2009
SP  - 249
EP  - 273
U2  - Chapter: 8
PB  - Springer
SN  - 978-1-84882-735-6
M2  - doi: 10.1007/978-1-84882-736-3_8
M1  - X-editor = {Paul P. Boca and Jonathan P. Bowen and Jawedd I. Siddiqi}
ER  -
TY  - BOOK
ID  - BCS-FACS2009
T1  - Formal Methods: State of the Art and New Directions
TI  - Formal Methods: State of the Art and New Directions
Y1  - 2009
PB  - Springer
SN  - 978-1-84882-735-6
M2  - doi: 10.1007/978-1-84882-736-3
M1  - X-editor = {Paul P. Boca and Jonathan P. Bowen and Jawedd I. Siddiqi}
ER  -