Abstraction and Verification in Alphard: Introduction to Language and Methodology. Technical Report ISI/RR-76-46, USC Information Sciences Institute (1976)

by W A Wulf, R L London, M Shaw
Venue:in Mathematics in