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