...way.

But there is some related work, discussed in Section 3, in which the need for such a framework is mentioned.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...templates.

A template, in general, can have several formal parameters. But we limit our model to the case of one parameter, without loss of generality, by postulating a simple packaging mechanism that combines several parameters into a unit [Edw95].

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.