"Functional and Logic Programming, 4 conf., FLOPS'99" - читать интересную книгу автора (Aart Middeldorp, Taisuke Sato)