Computer-Hindered Verification (Humans Can Do It Too).

Leslie Lamport Computer-Hindered Verification (Humans Can Do It Too). 1 1992 conf/cav/1992 CAV db/conf/cav/cav1992.html#Lamport92 http://dx.doi.org/10.1007/3-540-56496-9_1