A fully abstract model for sequential computation, Michael Marz
Nadie lo ha calificado todavía.Añadir reseña