FME '96 Tutorial: An Introduction to Some Advanced Capabilities of PVS (1996)

by Sam Owre, et al.