%0 Conference Paper %1 conf/fm/Steensgaard-MadsenHPEKNASGCG81 %A Steensgaard-Madsen, Jørgen %A Hughes, Jane W. %A Powell, Malcolm S. %A Ehrig, Hartmut %A Kreowski, Hans-Jörg %A Nielsen, Leif Sandegaard %A Abrial, Jean-Raymond %A Sørensen, Ib Holm %A Gallimore, Robin M. %A Coleman, Derek %A Goguen, Joseph A. %B Program Specification %D 1981 %E Staunstrup, Jørgen %I Springer %K dblp %P 47-117 %T KWIC-index generation. %U http://dblp.uni-trier.de/db/conf/fm/ps1981.html#Steensgaard-MadsenHPEKNASGCG81 %V 134 %@ 3-540-11490-4

@inproceedings{conf/fm/Steensgaard-MadsenHPEKNASGCG81, added-at = {2017-05-19T00:00:00.000+0200}, author = {Steensgaard-Madsen, Jørgen and Hughes, Jane W. and Powell, Malcolm S. and Ehrig, Hartmut and Kreowski, Hans-Jörg and Nielsen, Leif Sandegaard and Abrial, Jean-Raymond and Sørensen, Ib Holm and Gallimore, Robin M. and Coleman, Derek and Goguen, Joseph A.}, biburl = {https://www.bibsonomy.org/bibtex/293a9ee65535166f6b594e7806547120c/dblp}, booktitle = {Program Specification}, crossref = {conf/fm/1981}, editor = {Staunstrup, Jørgen}, ee = {https://doi.org/10.1007/3-540-11490-4_11}, interhash = {9449ef0911a98aec895806a19bfa0f58}, intrahash = {93a9ee65535166f6b594e7806547120c}, isbn = {3-540-11490-4}, keywords = {dblp}, pages = {47-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:40.000+0200}, title = {KWIC-index generation.}, url = {http://dblp.uni-trier.de/db/conf/fm/ps1981.html#Steensgaard-MadsenHPEKNASGCG81}, volume = 134, year = 1981 }