@article {ar:BrunsMostowskiUlbrich2014, title = {Implementation-level Verification of Algorithms with {Ke{\k e}rn-.1emY}}, journal = {Software Tools for Technology Transfer}, year = {2014}, note = {To appear.}, publisher = {Springer}, author = {D. Bruns and W. Mostowski and M. Ulbrich} }