Adding abstract documentation