Pattern Matching in Trees
Abstract data types and software validation