Axiomatizing schemes and their behaviors (1985)

by S L Bloom, Z Ésik
Venue:Journal of Computer and System Sciences