Formal Specification of Open Standards and the Case of RSS v2.0. - Konstantinos Barlas; Eleni Berki; Iulia Adomnita; Thrushna Nalam; Golnaz S. Nejad; Jari Veijalainen (Panhellenic Conference on Informatics, 2014)