Flores , 1993 Medina-Mora R TWinograd RFlores F
A framework for the normative analysis of workflow loops