Includes bibliographical references (pages 157-158) In this book Robin Milner introduces a new way of modelling communication. He treats computers and their programs as themselves built from ...