Ness, Linda "L.0: a parallel executable temporal logic language"

[ACM-SIGSOFT] (1990) ACM SIGSOFT Software Engineering Notes , Conference proceedings on Formal methods in software development April 1990 15(4)  

Languages mentioned Aldat {1989} Database language, based on extended algebra L.0 {1990}