Author: TACAS '95 (1995 Århus, Denmark)