Method for expression of the properties of logic analyzers. (31st October 1985)