Um método interativo de recuperação de diagramas GRAFCET e de estados a partir de Diagramas Ladder usando diagramas binários de decisão - Giacomin, Paulo André Sperandio (2005)
abstract