Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Paper
How practical is POPL?
Related
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Barry K. Rosen
ACM SIGPLAN Notices