Gerhard Kratky, Hermann Kopetz. The semantics of a mathematically oriented computer language. In Solomon L. Pollack, Thomas R. Dines, Ward C. Sangren, Norman R. Nielsen, William G. Gerkin, Alfred E. Corduan, Len Nowak, James L. Mueller, Joseph Horner III, Pasteur S. T. Yuen, Jeffery Stein, Margaret M. Mueller, editors, Proceedings of the 24th national conference, ACM 1969, USA, 1969. pages 505-510, ACM, 1969. [doi]
Abstract is missing.