Zur Verifikation paralleler Prozesse in Ada - Bruns, Wolfgang (1990)