Richard J. Boulton has written:
'A tool to support formal reasoning about computer languages' -- subject(s): Programming languages (Electronic computers), Automatic theorem proving
J. V. Boulton has written: 'Phakirmohana Senapati and his times'
J. Richard Barry has written: 'Vermont neighbors'
Richard J. Smith has written: 'Navigating the internet'
RICHARD J. LANE has written: 'POSTCOLONIAL NOVEL'
Richard J. Rhinehart has written: 'Without rival'
Richard J. Gerrig has written: 'Psychology and life'
J. Richard Traynor has written: 'Molly Adair and Co.'
Richard J. Kruizenga has written: 'Put and call options'
Richard J. Herrnstein has written: 'A sourcebook in the history of psychology'
J Richard Hackman has written: 'The job diagnostic survey'
Richard J. Clayton has written: 'Integration of CAD and CAM'
Richard J. Maskoff has written: 'Among the Shrines of Jesus'