Hofstedt, P.
Eine abstrakte Maschine für eine parallele logische Sprache.
1995. Diploma Thesis. Dresden University of Technology.