Unification of Theories: A Challenge for Computing Science

书目详细资料
主要作者: Hoare, C
格式: Conference item
出版: Springer 1995