For those who might be concerned, copyright ownership returned to the authors two years after publication so I’m not violating copyright by posting the full text here 🙂