Calculating a Path Algorithm

• Authors:

• Roland Carl Backhouse;A. J. M. van Gasteren

• Affiliations:

• -;-

• Venue:
• Proceedings of the Second International Conference on Mathematics of Program Construction
• Year:
• 1992