Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   compare the formal specication languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specication both in Z and AMN and of commenting on salient dierences as they arise. The specication chosen is a slightly revised version of the specication
['Antoni Diller', 'R. Docherty']
I am writing a research paper on a idea Z and Abstract Machine Notation: A Comparison
[{"from": "human", "value": "I am writing a research paper on a idea Z and Abstract Machine Notation: A Comparison"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   compare the formal specication languages Z and Abstract Machine Notation (AMN); the latter of which is due to Abrial. The strategy adopted is that of presenting the same specication both in Z and AMN and of commenting on salient dierences as they arise. The specication chosen is a slightly revised version of the specication"}]