Avoiding the undefined by underspecification (1995)

by David Gries, Fred B Schneider
Venue:Computer Science Today: Recent Trends and Developments, number 1000 in Lecture Notes in Computer Science