John-Jules Ch. Meyer Process modalities obtained as fixed points (part 2). 71-82 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#Meyer87