José Nuno Oliveira. The formal semantics of deterministic dataflow programs. PhD thesis, University of Manchester, UK, 1984. [doi]
@phdthesis{ethos-9719, title = {The formal semantics of deterministic dataflow programs}, author = {José Nuno Oliveira}, year = {1984}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.376586}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-9719}, cites = {0}, citedby = {0}, school = {University of Manchester, UK}, }