@inproceedings{rosu-serbanuta-2013-k,
    author = "Rosu, Grigore and Serbanuta, Traian Florin",
    publisher = "Elsevier",
    doi = "http://dx.doi.org/10.1016/j.entcs.2014.05.002",
    title = "K Overview and SIMPLE Case Study",
    series = "ENTCS",
    booktitle = "Proceedings of International K Workshop (K'11)",
    month = "June",
    volume = "304",
    year = "2014",
    pages = "3-56"
}