Introduction to VDM /
Woodman, Mark.
Heal, Benedict.
London : McGraw-Hill Book Co.,
c1993.