Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen. Specifying Cash-Point with DisCo. Formal Asp. Comput., 12(4):231-232, 2000. [doi]
@article{AaltonenKP00,
title = {Specifying Cash-Point with DisCo},
author = {Timo Aaltonen and Pertti Kellomäki and Risto Pitkänen},
year = {2000},
url = {http://link.springer.de/link/service/journals/00165/bibs/0012004/00120231.htm},
researchr = {https://researchr.org/publication/AaltonenKP00},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {12},
number = {4},
pages = {231-232},
}