Syntax and Semantics of Procol.

Roel van der Goot, Arie de Bruin

Browse the full MFCS paper archive.