Bruno Buchberger,
"Algorithm Retrieval: Concept Clarification and Case Study in Theorema"
, in SFB (Special Research Area) Scientific Computing, JKU-Linz, Serie SFB F013 Reports, Nummer 2003-44, 2003
Original Titel:
Algorithm Retrieval: Concept Clarification and Case Study in Theorema