papers of Per Martin Löf