Title: Topics in engineering logic
First published: 1962