Realization Theory of Discrete-Time Dynamical Systems by Yasumichi Hasegawa & Tsuyoshi Matsuo