Varvana Myllärniemi Mikko Raatikainen Tomi Männistö 135-136 2007 SPLC (2) conf/splc/2007w db/conf/splc/splc2007w.html#MyllarniemiRM07