Robuta

https://i.cs.hku.hk/~tse/Papers/1980s/thstru2CJ.html The Identification of Program Unstructuredness: a Formal Approach identificationprogramformalapproach