Nominal domain theory for concurrency. - David Christopher Turner (2009)