Schemy poiska neispravnostej - Graf, S.; Goessel, M. (Energoatomizdat, 1989)