“A Formal Model of Learner’s Annotations Dedicated to Web Services Invocation”, ICCE, Nov. 2013, doi: 10.58459/icce.2013.249.