Pdf The Parthenon
Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Neumann, Jonathan Woodruff. Technical Report UCAM-CL-TR-869, University of Cambridge, Computer Laboratory, April 2015. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis, Wojciech Koszek, A. Theodore Markettos, Simon W. Neumann, Robert Norton, and Michael Roe. Technical Report UCAM-CL-TR-868, University of Cambridge, Computer Laboratory, April 2015.