-J.M. Mulvey (Ed.): Evaluating Methematical Orogramming Techniques, Proceedings 1981, Springer-Verlag 1982