A Comparison of STATIC Semantics with D-WFS (1996)
Brass S. , Dix J. , Niemelä Ilkka , Przymusinski T.C.