Title: LADS: Linear analysis of discrete structures
First published: 1991