The specification of program flow in Madcap 6