Philippe Mathieu, Jean-Paul Delahaye: A Kind of Achievement by Parts Method. LPAR 1994: 320-332