LDM: A Program Specification Support System

Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth. LDM: A Program Specification Support System. In ICLP. pages 123-128, 1982.