A symbolic calculus of regular expressions (1987)

by Y Mizoguchi, H Ohtsuka, Y Kawahara
Venue:Bulletin of Informatics and Cybernetics