Verification oriented microprogramming language
By: Piotr Dembiński ... [et al.].
Contributors: Dembiński, Piotr.
Series: Prace IPI PAN ; 293; Prace IPI PAN ;; 293.
Publisher: IPI PAN
Published: 1977
Place of publication: Warsaw
Language: eng
Number of pages: 30
Subjects: Programming languages (Electronic computers); Microprogramming.
Notes: Bibliography: p. 25-26.
Summary also in Polish and Russian.