Title: Reports and Papers, Volume 17