Michael Walker: Revealing behaviours of concurrent functional programs by systematic testing. University of York, UK 2018