Klaus-Peter Hasler, Michael Löwe, Michaela Reisin. An Interpreter for Algebraic Specifications with User Controlled Termination. In ADT. 1982.
@inproceedings{HaslerLR82,
title = {An Interpreter for Algebraic Specifications with User Controlled Termination},
author = {Klaus-Peter Hasler and Michael Löwe and Michaela Reisin},
year = {1982},
tags = {interpreter, termination, algebraic specification, algebra},
researchr = {https://researchr.org/publication/HaslerLR82},
cites = {0},
citedby = {0},
booktitle = {ADT},
}