Omitting types algebraically J. Donald Monk (1978) Annales scientifiques de l'Université de Clermont. Mathématiques
On modelling of large variable systems of higher degree by means of language systems Roman Bek, Milan Růžička (1979) Kybernetika