Introduction to Coalgebra: Towards Mathematics of States and Observation

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Origins of a Creole: The History of Papiamentu and Its African Ties