Formal Methods for Mining Structured Objects (Studies in Computational Intelligence)