Title: Tactics and tacticals in Cambridge LCF
First published: 1983