Metamathematics of the alternative set theory. II. Antonín Sochor (1982) Commentationes Mathematicae Universitatis Carolinae
Metamathematics of the alternative set theory. III. Antonín Sochor (1983) Commentationes Mathematicae Universitatis Carolinae
Model theory for L 𝒜 M logic. Rašković, Miodrag (1985) Publications de l'Institut Mathématique. Nouvelle Série