"Automatic derivation of product identities" - читать интересную книгу автора (Chapman F.W.)