@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" }