Adding translation of Dan North 'Introduction to BDD'