Static typing for Eiffel (1989)

by B Meyer
Venue:In An Eiffel Collection. Technical report #TR-EI-20/EC, Interactive Software Engineering