Theory Presentation Combinators
scientific article