Concurrent verification for sequential programs - Wickerson, John Peter (University of Cambridge, 2013., 2013)