Proving assertions about the state structure of formally-defined, interacting, digital systems - Johnson, Robert Thomas (1973)
Keywords: Datenverarbeitung; Computer programming; Electronic data processing -- System analysis; Formal languages; Hochschulschrift