@inproceedings{BinemannZdanowiczThalheim2003, author = {Aleksander Binemann-Zdanowicz and Bernhard Thalheim}, title = {Modeling of Information Services on the Basis of ASM Semantics}, booktitle = {Abstract state machines 2003, 10th international workshop, proceedings, Taormina, Italy, March 3 - 7, 2003}, pages = {408 -- 410}, year = {2003}, }