"Edinburgh: Official Guide to the City 1972 Edinburgh Corporation Booklet