KWIC−index generation by Steensgaard−Madsen, J, Hughes, J, Powell, M, Ehrig, H, Kreowski, H, Nielsen, L, Abrial, J, Sørensen, I, Gallimore, R, Coleman, D, Goguen, J