Title: On testing nontestable programs
First published: 1980