Helmut Plickert

• Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells