"au:"John Lawall"" — arXiv2 Search