Alan Stewart The formal specification of computational structures. 1986 Queen's University Belfast, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317076 British Library, EThOS