Über die Darstellung von CCS-Programmen durch Petrinetze - Goltz, Ursula (Oldenbourg, 1988)