Tracing Anonymity with Coalgebras (2010)

by I Hasuo