Compendium institutionum hermeneuticae exhibitum in prophetia Haggaei. (1776)