Operational Techniques in PVS - A Preliminary Evaluation. - Jonathan M. Ford; Ian A. Mason (CATS, 2001)