See www.cs.vu.nl/~eliens