![]() |
@article{DBLP:journals/cuza/Lucanu02,
author = {Dorel Lucanu},
title = {Initial Logic and Induction in Algebraic Specification},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
year = {2002},
pages = {79-108},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-12-15 by Michael Ley (ley@uni-trier.de)