Mike Reeve: A packet-based parallel computation scheme for declarative languages. Imperial College London, UK 1987