@techreport{Broman:2007, author = "David Broman", title = "{Flow Lambda Calculus for Declarative Physical Connection Semantics}", type = "{Technical Reports in Computer and Information Science No. 1}", institution = "LIU Electronic Press", year = "2007", }