Foundations Of Object Oriented Languages: Types And Semantics - Bruce (Kim B)
20