S. Mauw & G.J. Veltink
A process specification formalism,
in: Fundamenta Informaticae XIII (1990), pp. 85-139,
IOS Press, 1990.

G.J. Veltink
The PSF Toolkit,
in: Computer Networks and ISDN systems 25 (1993) pp. 875-898,
Elsevier Science Publishers, 1993.