Lista de

George, Chris
1
An Introduction to Formal Software Development Using RAISE (1999). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación