@Talk{name, author = {D. Lucanu}, title = {An example based introduction to K}, year = {2011}, institution = {Second Romanian-Japanese Algebraic Specification Workshop}, url = {http://www.imar.ro/~diacon/sinaiaWorkshop2011/poster.html [RJ2]} }