Swinging types = functions + relations + transition systems (1999)

by Peter Padawitz