Author: TACAS 2004 (2004 Barselona, Spain)