Taḳanat ha-shuḳ - Raḳover, Naḥum 1932- (Miśrad ha-mishpaṭim, 1972)