Meyer, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
Meyer, C. (1996). Parallel Unit Resulting Resolution. Master Thesis, Universität des Saarlandes, Saarbrücken.