Publications by 'J. A. G. Miranda'