"Modal logic as a design notation" (1998) Areces, C.;Felder, M.;Hirsch, D. (
...)ACM Special Interest Group on Software Engineering (SIGSOFT) 9th International Workshop on Software Specification and Design, IWSSD 1998:150-152
Sin DOI
paper_08186843_v_n_p150_Areces