"A System Method for the Synthesis of Control Parts Defined by Grafcet."

Vincent Olive, Denis Rouquier (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics