אבן ישראל ואבן בוחן, ירושלים, תשי”ד.