Title: Structured testing
First published: 1982