Reus, Bernhard ; Streicher, Thomas (2002):
Semantics and logics of objects.
In: Proceedings of LICS' 02 Symposium on logic in computer science <17, 2002, Copenhagen>. - Los Alamitos, Calif. [u.a.]: IEEE Comp. Soc., 2002, Los Alamitos, Calif. [u.a.], IEEE Comp. Soc., [Conference or Workshop Item]