Calypso: an implementation of the order graph method. - Gavin R. Cato; Douglas S. Reeves (ICASSP, 1996)