Guarded actions (2004)

by J van Eijck