Title: A tool to support formal reasoning about computer languages
First published: 1996
Subjects: Programming languages (Electronic computers), Automatic theorem proving