doc/references.bib
changeset 805 d3e32a777d0b
parent 754 2de0fc630899