Formal view on OOP using lambda-calculus

MERUNKA, Vojtěch. Formal view on OOP using lambda-calculus. In Objekty 2009. Vyd. 1. xiv, 328 s. ISBN 978-80-7435-009-2 (brož. : neprodejné) Objekty 2009. Hradec Králové : Gaudeamus, 2009, s. 133-142.