Bengt Jonsson, Zohar Manna, Richard J. Waldinger
Towards Deductive Synthesis of Dataflow Networks
LICS, 1986.
@inproceedings{LICS-1986-JonssonMW,
author = "Bengt Jonsson and Zohar Manna and Richard J. Waldinger",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "26--37",
publisher = "{IEEE Computer Society}",
title = "{Towards Deductive Synthesis of Dataflow Networks}",
year = 1986,
}