@Article{Delisle1990,
      AUTHOR = {Delisle, Norman and Garlan, David},
      TITLE = {A Formal Specification of an Oscilloscope},
      YEAR = {1990},
      MONTH = {September},
      JOURNAL = {IEEE Software},
      VOLUME = {7},
      NUMBER = {5}
}