001: 28734
003: Starlibrary PMS 4.5
005: 20180430
020: ^a81-203-2456-0
066: ^aKi.f
072: ^aformal descriptions of object-oriented languages
082: ^a005.13
100: ^aKim B.Bruce
240: ^afoundations of object - oriented languages
245: ^afoundations of object - oriented languages
260: ^c2002
650: ^afoundations: the lambda calculus
650: ^atype problems in object-oriented languages