 |
|
 |
|
S. Mauw & G.J. Veltink (eds.)
Algebraic specification of communication protocols,
Cambridge University Press, 1993.
ISBN 0-521-41883-6 |
|
|
|
 |
|
G.J. Veltink
Tools for PSF,
PhD. Thesis,
ILLC Dissertation 1995-9,
University of Amsterdam, 1995.
ISBN 90-74795-29-3 |
|
