Publications of Diamint, R.