Walters H.R. A model for I/O in equational languages with don't care non-determinism / H.R.Walters,J.F.ThKamperman, 1995. - 13 p. - Текст : непосредственный.