This chapter gives an exampe of the actual development of an application. You may replace this example with an example of your choice. At the end of this chapter, ab example is gives of how an implementation be be developed based on a formal specification.
As subjects for writing a paper you may think of
As practical work, a possible assignment may be to
for one of the programs suggested in appendix I.