Yonglei Tao Chenho Kung Formal definition and verification of data flow diagrams. 29-36 1991 16 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(91)90029-6 db/journals/jss/jss16.html#TaoK91