This article was processed using the L a T E X macro package with LLNCS style (1994)

by Myra VanInwegen, Elsa Gunter, HOL-ML
Venue:Proceedings of HUG '93. Lecture Notes in Computer Science 780