1. Categorial quasivarieties
2. Linear logic for nets with bounded resources
3. Stolboushkin A.P. and Taitslin M.A. , Mathematical foundations of computer science (Russian), vol. 1–3, Tver State University, Tver, 1998, p. 367.
4. Ershov Yu. L. , Palyutin E.A. , and Taitslin M.A. , Mathematical logic (Russian), Publications of the Department of Algebra and Mathematical Logic of the Novosibirsk State University, no. 12, Novosibirsk, 1973.
5. Deterministic dynamic logic is strictly weaker than dynamic logic