ISBN(13): 9780262017152 Título: SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANLYSIS (2) Autor/es: Daniel Jackson ; Editorial: : MIT PRESS
ISBN(13): 9780857292766 Título: SPECIFICATION OF SOFTWARE SYSTEMS (2011) Autor/es: V Alagar ; Editorial: Springer
El programa Alloy está extensamente explicado en Software Abstractions (2 ed.) de D. Jackson. Se puede consultar para ver el funcionamiento de algunos ejemplos o para profundizar más en este entorno de creación de micro-modelos de la lógica de predicados.
El libro de Alagar y Periyasamy Specifications of Software Systems es un estudio más extenso de la materia tratada en la asignatura. Estudia muchos de los principales sistemas de especificación que existen, así como también recoge un gran número de notaciones e implematnaciones para cada uno de estos sistemas. En concreto estudia la notación Z ampliamente extendida para la especificación de sistemas basados en el modelo. Otro aspecto a tener en cuenta es que el libro sigue otro tipo de notación (cálculo) para la lógica temporal.