Spezifikation reaktiver Systeme durch temporal stratifizierte Programme - Malik, Robi 1968-; Mayer, Otto (Fachbereich Informatik, Univ., 1994)
Keywords: Deklarative Programmiersprache; Logische Programmiersprache