PROSE modeling language PROTEL ProvideX Pro*C Pure Pure Data PureScript Python Q (equational programminglanguage) Q (programminglanguage from Kx Systems)
Computer Programming. Addison-Wesley. 1972 (英语). Boute, Raymond T. The Euclidean definition of the functions div and mod. ACM Transactions on Programming Languages
ISBN 9781852332112 . Böhm, C., On a family of Turing machines and the related programminglanguage, ICC Bulletin, July 1964, 3: 191 . Forslund, Robert R., A logical