Andrzej Tarlecki · 5 obras en el catálogoObrasFM 2005AAlgebras for some input/output semanticsAlgebras for some input/output semanticsFFree constructions in algebraic institutionsFree constructions in algebraic institutionsAA language of specified programsA language of specified programsMathematical Foundations of Computer Science 1991