Formal verication of processes (2001)

by Ulrich Schpp