Title: The PASCAL reference guide