Author: TACAS 2004 (2004 Barcelona, Spain)