Deriving Updates from Derivations (1989)

by H Decker