Rolf Hennicker. Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. Formal Asp. Comput., 3(4):326-345, 1991.
@article{Hennicker91,
title = {Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations},
author = {Rolf Hennicker},
year = {1991},
tags = { algebra, context-aware, abstraction},
researchr = {https://researchr.org/publication/Hennicker91},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {3},
number = {4},
pages = {326-345},
}