Brent Auernheimer and Richard A. Kemmerer "ASLAN User?s Manual" Reliable Software Group Tech Report TRCS84-10 Department of Computer Science UCSB 1992

Languages mentioned

• ASLAN {1982}