Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005Vene, Varmo; Meriste, Merik2005 https://www.ester.ee/record=b2060802*est