Mechanizing Unity (1990)

by D M Goldschlag
Venue:Programming Concepts and Methods, North