Ohcanbohtosat - "unifying theories of programming"
Ozuin - "unifying theories of programming" - eai gávdnon bohtosat.
Sáhtát oažžut lasi bohtosiid go hábmet iežat ohcama.
- Sáhtát oažžut eanet bohtosiid go sihkut aisttonmearkkaid: unifying theories of programming.