Singular/Sources — pull request #275 by mohamed-barakat (2013-02-19 11:49:43+00:00)
Title: *levandov: updated bibliography entries

cherry-picks 42f10b3