doi dblp Compact grammer for algorithmic Wiswesser notation using morgan name S. Krishnan | E. V. Krishnamurthy 1976 Volume 12 Issue 1