Natarajan Shankar. Fixpoints and Search in PVS. In Peter Müller, editor, Advanced Lectures on Software Engineering, LASER Summer School 2007/2008. Volume 6029 of Lecture Notes in Computer Science, pages 140-161, Springer, 2008. [doi]
Abstract is missing.