Avoiding the undefined by underspecification (0)

by D Gries, F B Schneider
Venue:In Computer Science Today, volume 1000 of LNCS