Moszkowski, Ben "The programming language Tempura" pp730-733

Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics  

Languages mentioned Tempura {1985}