Відповідно до запиту не знайдено жодної книги, доступної для огляду.
Спробуйте виконати пошук в усіх томах: Bisimilarity for a first-order calculus of objects with subtyping. In Proceedings of the 23rd Annual...