[m-dev.] referenced papers

[Matthias Güdemann]

> It is public, but I have no idea how to set up controls on who can
> update it.  I am hoping that it inherits those settings from
> Mercury-Language, but don't know. If someone does, I would be grateful
> if they told me.  I would also be grateful if you test whether the
> repo can be checked out by someone other than me.

yes, no problem to check out the repo.

Great, I also saw that Ralf Hinze's paper on priority search queues is
already added.

Matthias