Michel Bidoit, Rolf Hennicker, Martin Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2-3):149-186, 1995.
@article{BidoitHW95,
title = {Behavioural and Abstractor Specifications},
author = {Michel Bidoit and Rolf Hennicker and Martin Wirsing},
year = {1995},
researchr = {https://researchr.org/publication/BidoitHW95},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {25},
number = {2-3},
pages = {149-186},
}