Title: Abstract datatypes in PVS
Subjects: Data structures, Trees (Mathematics), Recursive functions, Data processing, Binary data, Prototypes