Formal view on OOP using lambda-calculus

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