Object-Oriented Programming: A Unified Foundation (1996)

by G Castagna
Venue:Progress in Theoretical Computer Science. Birkäuser