Computer Language Notation Specification through Program Examples. - Miroslav Sabo; Jaroslav Porubän; Dominik Lakatos; Michaela Kreutzová (FedCSIS, 2011)