Title: The weakest prespecification
First published: 1985