by Faroughi, N., Shanblatt, M. A.
Published in 24th ACM/IEEE Design Automation Conference (01.10.1987)

by Plaks, T.P.
Published in ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 (2000)