Guarded actions (2004)

by Jan van Eijck