Optimal Decomposition of Linear Automata. - László Úry (ICALP, 1979)

Program Behaviour Specification through Explicit Time Consideration. - Tamás Gergely; László Úry (IFIP Congress, 1980)

Nondeterministic programming within the frame of first order classical logic, Part 1. - Tamás Gergely; László Úry (Acta Cybern., 1980)

Nondeterministic programming within the frame of first order classical logic, Part 2. - Tamás Gergely; László Úry (Acta Cybern., 1980)

A Theory of Interactive Programming. - Tamás Gergely; László Úry (Acta Informatica, 1982)

First-Order Programming Theories - Tamás Gergely; László Úry (Springer, 1991)

Mathematical Foundation of Cognitive Computing Based Artificial Intelligence. - Tamás Gergely; László Úry (RAAI Summer School, 2019)