Formal methods in standards : a report from the BCS Working Group /
Ruggles, C. L. N.(Clive L. N.)
Andrews, Derek.
British Computer Society.Formal Methods in Standards Working Group.
London : Springer-Verlag,
c1990.
Includes index
Electronic data processing