Added definitions and bibliography