The Book of Traces, World Scientific (1995)

by M Nielsen, G Winskel