Algebras for some input/output semantics
By: Andrzej Tarlecki.
Series: Prace IPI Pan = ICS Pas reports,; 402; Prace IPI Pan ;; 402.
Publisher: Institute of Computer Science, Polish Academy of Sciences
Published: 1980
Place of publication: Warsaw
Language: eng
Number of pages: 39
Subjects: Computer programs -- Correctness.; Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. 33-34.
Summary in Polish and Russian.