Automatic average-case analysis of algorithms Article in Theoretical Computer Science (February 1991)