Automated generation of electronic procedures: procedure constraint grammars · Study