Title: Recent developments in LCF
First published: 1983