Richard D. Eldred Test Routines Based on Symbolic Logical Statements. 33-37 1959 6 J. ACM 1 http://doi.acm.org/10.1145/320954.320957 db/journals/jacm/jacm6.html#Eldred59