THE RESTRICTION LANGUAGE MANUAL