Deductive program development: Evaluation in reverse Polish notation as an example
2005 ◽
pp. 77-99
◽
Keyword(s):
Keyword(s):