![]() |
@inproceedings{DBLP:conf/csfw/Jacob91,
author = {Jeremy Jacob},
title = {The Basic Integrity Theorem},
booktitle = {CSFW},
year = {1991},
pages = {89-97},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-07-04 by Michael Ley (ley@uni-trier.de)