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