Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Paper
How practical is POPL?
Related
Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975