Bare Metal: A Programatica model of hardware (2005)

by M P Jones
Venue:In High Confidence Software and Systems Conference