Bibliography: p268-269. _ Includes index.
Information flow : the logic of distributed systems by Jon Barwise. ISBN 0521583861. Published by Cambridge University Press in 1997. Publication and catalogue information, links to buy online and reader comments.