Mathematical foundations of computer science 2006 31st International Symposium, MFCS 2006 Stará Lesná, Slovakia, August 28 - September 1, 2006 ; proceedings (Springer, 2006)