1. Beth E.W. (tiThe Foundations of Mathematics North-Holland, 1959
2. Bialasik M. Konikowska B. Reasoning with rst-order nondeterministic speci-cations, to appear in Acta Informatica
3. Bialasik M. Konikowska B. A logic for non-deterministic specications, to appear in: E. Orlowska, ed., Logic at work: essays dedicated to the memory of H. Rasiowa, Kluwer, Holland
4. Cohn A.G. A many sorted logic with possibly empty sorts, in Proceedings CADE-11, LNAI 607, pp 633–647 1992.
5. Gabbay D. Labelled deductive systems, Oxford University Press, Oxford 1991.