in A. Brown, M. Knight and P. Berridge (eds), Architectural Computing from Turing to 2000, eCAADe17, University of Liverpool, Liverpool