Processes as terms: non-well-founded models for bisimulation - Rutten, Jan J. M. M. (Centrum voor Wiskunde en Informatica, 1992)