<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>9247</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Gilmore,S.</AUTHOR><AUTHOR>Hillston,J.</AUTHOR><AUTHOR>Vyshemirsky,V.</AUTHOR></AUTHORS><YEAR>2009</YEAR><TITLE>Formal methods for biochemical signalling pathways</TITLE><PLACE_PUBLISHED>Formal Methods: State of the Art and New Directions</PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><ISBN>978-1-84882-735-6</ISBN><LABEL>Calder:2009:9247</LABEL><URL>http://www.springer.com/computer/programming/book/978-1-84882-735-6</URL></RECORD></RECORDS></XML>