Fixpoint operators for domain equations. Available from http://hypatia.dcs.qmw.ac.uk (1996)

by J Power, G Rosolini