https://repositorio.unam.mx/contenidos/ficha/estudio-de-diversos-metodos-de-especificacion-formal-de-programas-194227?c=Wv4nNZ&d=false&q=*:*&i=3&v=1&t=search_0&as=0
Estudio de diversos metodos de especificacion formal de programas
Repositorio Institucional de la UNAM
estudiodediversosmetodosformal