Alban Ponse Program algebra with unit instruction operators. 157-174 2002 51 J. Log. Algebr. Program. 2 http://dx.doi.org/10.1016/S1567-8326(02)00019-X db/journals/jlp/jlp51.html#Ponse02