BibTeX
@MANUAL{
         Hulzen1994SaS,
       AUTHOR = "J. A. {van Hulzen}",
       TITLE = "{SCOPE} 1.5, a Source-Code Optimization Package for {REDUCE} 3.5 -- User Manual.
         Memorandum INF-94-21",
       ORGANIZATION = "Department of Computer Science, University of Twente",
       YEAR = "1994",
       REFERRED = "[Goldman1996AAM]."
}