KWIC−index generation - Steensgaard−Madsen, J; Hughes, J; Powell, M; Ehrig, H; Kreowski, H; Nielsen, L; Abrial, J; Sørensen, I; Gallimore, R; Coleman, D; Goguen, J (Springer−Verlag, 1982)