A formal specification of an oscilloscope (1990)

by N Delisle, D Garlan
Venue:IEEE Software