Christian G. Fermüller Georg Moser Have Spass with OCC1N<sub>g</sub><sup>=</sup>. 114-130 http://link.springer.de/link/service/series/0558/bibs/1955/19550114.htm 2000 conf/lpar/2000 LPAR db/conf/lpar/lpar2000.html#FermullerM00