"On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF."

Jacek Leszczylowski (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics