Paul Boca · 2 obras en el catálogoObrasFormal methodsAAbstract State Machines, B and ZAbstract State Machines, B and Z