On formal specification of a proof tool [chapter]

R. D. Arthan
1991 Lecture Notes in Computer Science  
doi:10.1007/3-540-54834-3_22 fatcat:rgng53mshvgjxjte5m6oovl2ey