@Talk{name, author = {D. Lucanu}, title = {Contributions to the K framework}, institution = {Action IC0701, 7th MC+WG Meeting, 2nd Action Training School, Limerick, Ireland}, year = {2011}, url = {http://www.cost-ic0701.org/meetings/7th-mc-and-wg-meeting-limerick-ireland-june-20-22-2011 [IC0701} }