KWIC−index generation
Jørgen Steensgaard−Madsen‚ Jane W. Hughes‚ Malcolm S. Powell‚ Hartmut Ehrig‚ Hans−Jörg Kreowski‚ Leif Sandegaard Nielsen‚ Jean−Raymond Abrial‚ Ib Sørensen‚ Robin M. Gallimore‚ Derek Coleman and Joseph A. Goguen
Address
London‚ UK‚ UK
Book Title
Program Specification‚ Proceedings of a Workshop
ISBN
3−540−11490−4
Pages
47–117
Publisher
Springer−Verlag
Year
1982