Tekstiviesti: Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / Chris Hankin, Igor Siveroni (eds.).