The Expressiveness of Simple and Second-Order Type StructuresSteven FortuneDaniel Leivantet al.1983Journal of the ACM