Manchmal ist die Lösung ganz einfach. Die Sprache der Programmierer, formal und semantisch umgesetzt, sagt alles, was man wissen muss.