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

• Ness, Linda (1990) Ness, Linda "L.0: a parallel executable temporal logic language"