Title: A windows implementation of a small circuit symbolic analyser
First published: 1995