phdthesis{Uli94,
author={I. Ulidowski},
title={Local Testing and Implementable Concurrent Processes},
school={Imperial College, University of London},
year=1994}