Mark John Maybee
Univ. of Colorado, Boulder
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)