Data types as lattices : retractions, closures and projections Luis E. Sanchis (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Decidability questions for some dynamic properties of Petri nets [Abstract of thesis] Petr Jančar (1989) Commentationes Mathematicae Universitatis Carolinae
Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem. H.A. Pogorzelski (1976) Journal für die reine und angewandte Mathematik