David Garlan and Norman Delisle. A Formal Specification of an Oscilloscope. IEEE Software. Vol. 7, No. 5. September, 1990. https://doi.org/10.1109/52.57890.

PDF