Finkelstein, L.;
Huang, J.;
Finkelstein, A.;
Nuseibeh, B.;
(1992)
Using software specification methods for measurement instruments: Part II - formal methods.
Measurement
, 10
(2)
pp. 87-92.
10.1016/0263-2241(92)90017-X.