Information structure of sequential programs

From MaRDI portal
Publication:4859637