Added reference to Awodey/Kishida