Formal reasoning about communications systems I (1997)

by Christoph Kreitz