Bernátsky László; Ésik Zoltán:
Semantics of flowchart programs and the free Conway theories.
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 32 (1-3).
pp. 35-78.
ISSN 0988-3754
(1998)
Ésik Zoltán; Bernátsky László:
Equational properties of Kleene algebras of relations with conversation.
THEORETICAL COMPUTER SCIENCE, 137 (2).
pp. 237-251.
ISSN 0304-3975
(1995)
Ésik Zoltán; Bernátsky László:
Scott induction and equational proofs.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 1.
pp. 154-181.
ISSN 1571-0661
(1995)