Volcanic Rifted Margins - Menzies Et Al 2002
Soundness and Completeness of the NRB verification logic (OpenCert 2013)
Adverse drugs