ผู้เขียน: R. Berghammer

R. Berghammer & Bernhard Moller: Relational and Kleene-Algebraic Methods in Computer Science