What has the author Richard J Boulton written?

Richard J. Boulton has written:

'A tool to support formal reasoning about computer languages' -- subject(s): Programming languages (Electronic computers), Automatic theorem proving