Why effective proof tool support for Z is hard (Software Verification Research Centre, 1997)

(untitled) - Martin, A