Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Barry K. Rosen
POPL 1977
Bowen Alpern, Roger Hoover, et al.
SODA 1990
Barry K. Rosen
Journal of Computer and System Sciences