Alexander Bochman A Study of Przymusinski's Static Semantics. 170-184 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#Bochman97