Added tef's abstract
Added sintaxi's abstract