Title: Object code verification
First published: 1998