Alan Stewart: The formal specification of computational structures. Queen's University Belfast, UK 1986