David Streader. Abstraction and refinement of process actions. PhD thesis, Queen Mary University of London, UK, 2000. [doi]
@phdthesis{ethos-6513, title = {Abstraction and refinement of process actions}, author = {David Streader}, year = {2000}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.368046}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-6513}, cites = {0}, citedby = {0}, school = {Queen Mary University of London, UK}, }