Michael Hanus: PACS: The Portland Aachen Curry System. WLP 2000: 219-221