Semantische Grundlagen der PRAM-Sprache FORK