应用形式逻辑的一个程序的图示

• a graphical representation of a program using formal logic