Peregrin, J., 2000. Lambekovy kalkuly a 'logiky kategorií'. Organon F, 7, pp.460-466. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/2000/4/460-466.pdf.