Formal Methods For Components And Objects by F.S. De Boer