Finiteness is mu-ineffable

David Park
1976 Theoretical Computer Science  
doi:10.1016/0304-3975(76)90022-0 fatcat:5b4zscyugrc2vhvp5bpasi4oci