R. Kuiper

Towards a Proof Method for Paradigm

Erik P. de Vink, L. P. J. Groenewegen, R. Kuiper, 2016, Theory and Practice of Formal Methods.

An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint)

R. Kuiper, 1981 .