"An Analysis of Lambek's Production Machines"

Riccardo Pucella (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics