Jonathan Stavi: Boolean models for some expressive languages and their applications (מודלים בוליאניים לשפות עשירות ושימושיהם.). Hebrew University of Jerusalem, Israel 1973