Disintegration and Bayesian inversion via string diagrams
bayesian machine learning : eeg \ / meg signal processing measurements .