Symbolic simulation of dynamic systems. - Gerrit Paul Wilhelmij (1989)