000			00336nam a2200133 4500
020			_a0-471-94128-X
082			_a001.642 P525o
100			_aPalsberg Jens.
245			_aObject-Oriented Type Systems./ Jens Palsberg.
260			_aUSA:Wiley
300			_a180p./25cm.
650			_a1.TYPE SISTEMS.
700			_aI.Schwartzbach Michael I.
999			_c25231 _d25231