AA language of specified programsA language of specified programsde Andrzej TarleckiEdiciones (1)A language of specified programs. (1983)Dept. of Computer Science, Univ. of Edinburgh · inglésMás obras de Andrzej TarleckiFM 2005AAlgebras for some input/output semanticsAlgebras for some input/output semanticsFFree constructions in algebraic institutionsFree constructions in algebraic institutions