Einführung in das UCSD-System - Bischoff, Hubert; Meier, Jens
Keywords: UCSD p-System