Citation: D. Kozen, A COMPLETENESS THEOREM FOR KLEENE ALGEBRAS AND THE ALGEBRA OF REGULAREVENTS, Information and computation, 110(2), 1994, pp. 366-390
Citation: D. Kozen, 29TH IEEE CONFERENCE ON FOUNDATIONS OF COMPUTER-SCIENCE, OCTOBER 24-26, 1988 - FOREWORD, Journal of computer and system sciences, 47(2), 1993, pp. 249-249