A new edition for PVS Version 2 is expected in late (1993)

by Manual