Robuta

https://docs.lib.purdue.edu/cstech/273/ "Models for Verifiers" by Francine Berman By Francine Berman, Published on 01/01/80 for verifiersmodelsfrancineberman