A rigorous approach to determining objects. - Daniel P. Faigin; Joseph Donndelinger; J. R. Jones (ACSAC, 1993)