Generalised finiteness conditions on labelled transition systems for operational semantics of programming languages (1992)

by F van Breugel